Computer science

Results: 55984



#Item
751

How to Decrease and Resolve Inconsistency of a Knowledge Base? Dragan Doder1 and Srdjan Vesic2 1 Computer Science and Communication, University of Luxembourg, Luxembourg 2 CRIL, CNRS – Univ. Artois, Lens, France

Add to Reading List

Source URL: www.cril.univ-artois.fr

Language: English - Date: 2014-11-10 12:16:20
    752

    Victor Shoup Curriculum Vitae April 5, 2016 Department of Computer Science Courant Institute of Mathematical Sciences New York University 251 Mercer Street

    Add to Reading List

    Source URL: shoup.net

    Language: English - Date: 2016-04-05 14:38:26
      753

      On Linear Modalities for Exchange, Weakening, and Contraction Harley Eades III and Jiaming Jiang Computer Science, Augusta University Computer Science, North Carolina State University Introduction. In 1987 Girard introdu

      Add to Reading List

      Source URL: metatheorem.org

      Language: English - Date: 2018-08-14 14:33:44
        754

        “Oops, I did it again” – Security of One-Time Signatures under Two-Message Attacks Leon Groot Bruinderink and Andreas Hülsing Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O.

        Add to Reading List

        Source URL: eprint.iacr.org

        Language: English - Date: 2017-09-25 03:25:51
          755

          Parallel Transport Approach to Curve Framing Andrew J. Hanson and Hui Ma Department of Computer Science Lindley Hall 215 Indiana University

          Add to Reading List

          Source URL: pdfs.semanticscholar.org

          Language: English - Date: 2017-07-12 15:54:34
            756

            Running on the Bare Metal with GeekOS David Hovemeyer, Jeffrey K. Hollingsworth, and Bobby Bhattacharjee Dept. of Computer Science, University of Maryland, College Park, MD, 20742 USA {daveho,hollings,bobby}@cs.umd.edu

            Add to Reading List

            Source URL: faculty.ycp.edu

            Language: English - Date: 2014-08-22 12:24:22
              757

              A Characterization of IPv6 Network Security Policy Mark Allman International Computer Science Institute MAPRG Meeting April 2016

              Add to Reading List

              Source URL: www.icir.org

              Language: English - Date: 2016-04-04 11:55:18
                758

                Lorraine Laboratory of Research in Computer Science and its Applications ACTIVITY REPORTPROSPECTIVES FORA research unit from the research department AM2I of Lorraine University: Automatics, Mat

                Add to Reading List

                Source URL: www.loria.fr

                Language: English - Date: 2018-01-15 03:33:59
                  759

                  DA-RNN: Semantic Mapping with Data Associated Recurrent Neural Networks Yu Xiang and Dieter Fox Paul G. Allen School of Computer Science & Engineering University of Washington {yuxiang, fox}@cs.washington.edu

                  Add to Reading List

                  Source URL: yuxng.github.io

                  Language: English - Date: 2018-07-25 18:48:24
                    760

                    Autonomous Quadrotor for the 2013 International Aerial Robotics Competition Isaac Olson B.S.E. Aerospace Engineering 2014 Jonathan Bendes B.S.E. Computer Science, 2013

                    Add to Reading List

                    Source URL: www.aerialroboticscompetition.org

                    Language: English - Date: 2018-04-29 02:00:48
                      UPDATE